Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Computable Mathematics > 772-782
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Computable Mathematics > 783-792